Results for 'Angus J. MacIntyre'

1000+ found
Order:
  1.  26
    Carnegie Mellon University, Pittsburgh, PA May 19–23, 2004.John Baldwin, Lev Beklemishev, Michael Hallett, Valentina Harizanov, Steve Jackson, Kenneth Kunen, Angus J. MacIntyre, Penelope Maddy, Joe Miller & Michael Rathjen - 2005 - Bulletin of Symbolic Logic 11 (1).
    Direct download  
     
    Export citation  
     
    Bookmark  
  2.  12
    On ω 1 -Categorical Theories of Abelian Groups.Angus Macintyre, Joachim Reineke, J. T. Baldwin, Jan Saxl & Walter Baur - 1984 - Journal of Symbolic Logic 49 (1):317-321.
  3. On the decidability of the real exponential field.Angus Macintyre & Alex J. Wilkie - 1996 - In Piergiorgio Odifreddi (ed.), Kreiseliana: About and Around Georg Kreisel. A K Peters. pp. 441--467.
     
    Export citation  
     
    Bookmark   15 citations  
  4. Logic Colloquium '77 Proceedings of the Colloquium Held in Wroclw, August 1977.Angus Macintyre, Leszek Pacholski & J. B. Paris - 1978
     
    Export citation  
     
    Bookmark  
  5.  14
    Ramsey Quantifiers in Arithmetic.Angus Macintyre, L. Pacholski, J. Wierzejewski, A. J. Wilkie, James H. Schmerl & Stephen G. Simpson - 1985 - Journal of Symbolic Logic 50 (4):1078-1079.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  6. 12th Workshop on Logic, Language, Information and Computation, Florianópolis, Brasil, 19 a 22 de julho de 2005.Ruy J. G. B. de Queiroz, Angus Macintyre & Guilherme Bittencourt (eds.) - 2005 - Florianópolis, SC, Brasil: [S.N.].
     
    Export citation  
     
    Bookmark  
  7. Divine sustaining causes and the mind-body problem.Angus J. L. Menuge - 2021 - In Gregory E. Ganssle (ed.), Philosophical Essays on Divine Causation. New York, NY: Routledge.
     
    Export citation  
     
    Bookmark  
  8.  48
    Macintyre Angus. On ω1-categorical theories of abelian groups. Fundamenta mathematicae, vol. 70 , pp. 253–270.Macintyre Angus. On ω1-categorical theories of fields. Fundamenta mathematicae, vol. 71 , pp. 1–25.Reineke Joachim. Minimale Gruppen. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 21 , pp. 357–359.Baldwin J. T. and Saxl Jan. Logical stability in group theory. The journal of the Australian Mathematical Society, vol. 21 ser. A , pp. 267–276.Zil'bér B. I.. Gruppy i kol'ca, téoriá kotoryh katégorična . Fundamenta mathematicae, vol. 95 , pp. 173–188.Baur Walter, Cherlin Gregory, and Macintyre Angus. Totally categorical groups and rings. Journal of algebra, vol. 57 , pp. 407–440.Cherlin Gregory. Groups of small Morley rank. Annals of mathematical logic, vol. 17 , pp. 1–28.Cherlin G. and Shelah S.. Superstable fields and groups. Annals of mathematical logic, vol. 18 , pp. 227–270.Poizat Bruno. Sous-groupes définissables d 'un groupe stable. [REVIEW]Anand Pillay - 1984 - Journal of Symbolic Logic 49 (1):317-321.
  9.  62
    Angus Macintyre, Kenneth McKenna, and Lou van den Dries. Elimination of quantifiers in algebraic structures. Advances in mathematics, vol. 47 , pp. 74–87. - L. P. D. van den Dries. A linearly ordered ring whose theory admits elimination of quantifiers is a real closed field. Proceedings of the American Mathematical Society, vol. 79 , pp. 97–100. - Bruce I. Rose. Rings which admit elimination of quantifiers. The journal of symbolic logic, vol. 43 , pp. 92–112; Corrigendum, vol. 44 , pp. 109–110. - Chantal Berline. Rings which admit elimination of quantifiers. The journal of symbolic logic, vol. 43 , vol. 46 , pp. 56–58. - M. Boffa, A. Macintyre, and F. Point. The quantifier elimination problem for rings without nilpotent elements and for semi-simple rings. Model theory of algebra and arithmetic, Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1–7, 1979, edited by L. Pacholski, J. Wierzejewski, and A. J. Wilkie, Lecture. [REVIEW]Gregory L. Cherlin - 1985 - Journal of Symbolic Logic 50 (4):1079-1080.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10.  34
    Angus Macintyre. Ramsey quantifiers in arithmetic. Model theory of algebra and arithmetic, Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1–7, 1979, edited by L. Pacholski, J. Wierzejewski, and A. J. Wilkie, Lecture notes in mathematics, vol. 834, Springer-Verlag, Berlin, Heidelberg, and New York, 1980, pp. 186–210. - James H. Schmerl and Stephen G. Simpson. On the role of Ramsey quantifiers in first order arithmetic. The journal of symbolic logic, vol. 47 , pp. 423–435. - Carl Morgenstern. On generalized quantifiers in arithmetic. The journal of symbolic logic, vol. 47 , pp. 187–190. [REVIEW]L. A. S. Kirby - 1985 - Journal of Symbolic Logic 50 (4):1078-1079.
  11.  23
    Review: Angus Macintyre, L. Pacholski, J. Wierzejewski, A. J. Wilkie, Ramsey Quantifiers in Arithmetic; James H. Schmerl, Stephen G. Simpson, On the Role of Ramsey Quantifiers in First Order Arithmetic; Carl Morgenstern, On Generalized Quantifiers in Arithmetic. [REVIEW]L. A. S. Kirby - 1985 - Journal of Symbolic Logic 50 (4):1078-1079.
  12.  8
    Determination of elastic strain fields and geometrically necessary dislocation distributions near nanoindents using electron back scatter diffraction.Angus J. Wilkinson & David Randman - 2010 - Philosophical Magazine 90 (9):1159-1177.
  13.  32
    A Neuroanatomical Framework for Upper Limb Synergies after Stroke.Angus J. C. McMorland, Keith D. Runnalls & Winston D. Byblow - 2015 - Frontiers in Human Neuroscience 9.
  14.  12
    Causation, Creaturely and Divine.Angus J. L. Menuge - 2023 - Philosophia Christi 25 (2):221-229.
    A biblical approach to reconciling God’s sovereignty with creaturely responsibility should avoid the extremes of global occasionalism and completely autonomous creatures. This paper evaluates the standard intermediary solutions offered by conservationists and concurrentists. It argues that while each contributes insights which a satisfactory account should retain, none is fully adequate. Even Leibniz’s sophisticated response, which accounts for providence, miracles, and moral responsibility, unacceptably abridges creaturely power to implement decisions. My alternative proposal seeks to explain how creatures can retain full responsibility (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  34
    Snakes and ladders: state interventions and the place of liberty in public health policy.Angus J. Dawson - 2016 - Journal of Medical Ethics 42 (8):510-513.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  16.  6
    The implications of susceptibility screening.Angus J. Clarke - 2002 - In Ruth F. Chadwick & Doris Schroeder (eds.), Applied Ethics: Critical Concepts in Philosophy. Routledge. pp. 3--17.
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  17
    Commentary on predictive genetic testing of minors: by Mand et al.Angus J. Clarke - 2012 - Journal of Medical Ethics 38 (9):527-528.
    The paper by Mand et al raises important questions about the predictive genetic testing of children. They focus on those claims made by professionals that are open to empirical enquiry and give too little weight to those claims that do not require empirical support. The authors remind us that some commentators oppose empirical enquiry because of the concern that gathering evidence of the consequences of such testing may itself be harmful or unethical. They respond by asserting that the relevant research (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  18.  34
    Ebola: what it tells us about medical ethics.Angus J. Dawson - 2015 - Journal of Medical Ethics 41 (1):107-110.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  19.  16
    Beyond Skinnerian Creatures.Angus J. L. Menuge - 2003 - Philosophia Christi 5 (1):143-165.
  20.  26
    Onward Christian Philosophers.Angus J. L. Menuge - 2019 - Philosophia Christi 21 (1):11-15.
    Christian philosophers have engaged naturalism in three main ways: direct refutation; systematic comparison; and sustained development of compelling alternative accounts. While all of these options have value, I argue that it is, and especially, that are most likely to win converts, and that we are witnessing an encouraging strategic shift in that direction. Options and bring Christian philosophers into closer dialogue with their naturalistic counterparts, building mutual respect and a greater opportunity for Christian philosophers to gain a full and fair (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  21.  22
    Reductionism, Bane of Christianity and Science.Angus J. L. Menuge - 2002 - Philosophia Christi 4 (1):173-183.
  22.  13
    Religious Liberty and the Law: Theistic and Non-Theistic Perspectives.Angus J. L. Menuge - 2017 - Routledge.
    Questions of religious liberty have become flashpoints of controversy in virtually every area of life around the world. Despite protection of religious liberty at both supranational and individual state levels, there is an increasing number of conflicts concerning the proper way to recognize it, both in modern secular states, and in countries with an established religion or theocratic mode of government. This book provides an analysis of the general concept of religious liberty with a close study of important cases that (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23.  10
    Why Reject Christian Physicalism?Angus J. L. Menuge - 2018 - In Jonathan J. Loose, Angus John Louis Menuge & J. P. Moreland (eds.), The Blackwell Companion to Substance Dualism. Oxford, U.K.: Wiley-Blackwell. pp. 394–410.
    According to Christian physicalism (CP), a human person does not have an immaterial soul, but is identical to or constituted by a physical object. This chapter focuses on several reasons to think CP does not adequately account for the stewardship obligations. If CP is properly confined to the resources actually available to a physicalist anthropology it seems unable to account for the capacities of stewards, including a first‐person perspective, knowledge of the natural world, reasoning, and the ability to act. To (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  24.  11
    Against methodological materialism.Angus J. L. Menuge - 2009 - In Robert C. Koons & George Bealer (eds.), The Waning of Materialism: New Essays. Oxford University Press.
  25.  27
    Naturalism and Our Knowledge of Reality: Testing Religious Truth Claims.Angus J. L. Menuge - 2013 - Philosophia Christi 15 (1):187-191.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26.  43
    Neuroscience, Rationality, and Free Will.Angus J. L. Menuge - 2013 - Philosophia Christi 15 (1):81-96.
    John Searle claims that reasoning requires libertarian free will. He hopes this can be reconciled with a naturalistic neuroscience through a sophisticated theory of emergence, which includes indeterminism, and topdown causation. This is allegedly naturalistic because each mental state is causally reducible to a realizing neuronal state. I argue that Searle’s theory fails to overcome four main problems and cannot account for reasoning without implicit appeal to nonnaturalistic entities.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  27.  28
    James E. Baumgartner, Alan Taylor, and Stanley Wagon. Ideals on uncountable cardinals. Logic Colloquium '77, Proceedings of the colloquium held in WrocŁaw, August 1977, edited by Angus Macintyre, Leszek Pacholski, and Jeff Paris, Studies in logic and the foundations of mathematics, vol. 96, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978, pp. 67–77. - J. E. Baumgartner, A. D. Taylor, and S. Wagon. Structural properties of ideals. Dissertationes mathematicae (Rozprawy matematyczne), no. 197, Polska Akademia Nauk, Instytut Matematyczny, Warsaw 1982, 95 pp. - James E. Baumgartner and Alan D. Taylor. Saturation properties of ideals in generic extensions. Transactions of the American Mathematical Society, vol. 270 (1982), pp. 557–574, and vol. 271 (1982), pp. 587–609. [REVIEW]Thomas Jech - 2001 - Bulletin of Symbolic Logic 7 (1):79-79.
  28.  27
    James E. Baumgartner, Alan Taylor, and Stanley Wagon. Ideals on uncountable cardinals. Logic Colloquium '77, Proceedings of the colloquium held in WrocŁaw, August 1977, edited by Angus Macintyre, Leszek Pacholski, and Jeff Paris, Studies in logic and the foundations of mathematics, vol. 96, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978, pp. 67–77. - J. E. Baumgartner, A. D. Taylor, and S. Wagon. Structural properties of ideals. Dissertationes mathematicae (Rozprawy matematyczne), no. 197, Polska Akademia Nauk, Instytut Matematyczny, Warsaw 1982, 95 pp. - James E. Baumgartner and Alan D. Taylor. Saturation properties of ideals in generic extensions. Transactions of the American Mathematical Society, vol. 270 (1982), pp. 557–574, and vol. 271 (1982), pp. 587–609. [REVIEW]Thomas Jech - 2001 - Bulletin of Symbolic Logic 7 (1):79-79.
  29.  43
    A messy business: qualitative research and ethical review.Angus J. Dawson - 2006 - Clinical Ethics 1 (2):114-116.
    This paper argues that qualitative research is both useful and necessary, as it provides an essential means of gaining a richer understanding of patients' perceptions, social processes and meanings. In their paper in this edition of Clinical Ethics, Hallowell and Lawton raise many issues relating to the way that qualitative research is treated by RECs in the UK. In this paper I discuss just three key topics stimulated by their paper: the way that methodology relates to ethics, the experience and (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  30.  11
    Introduction.Jonathan J. Loose, Angus J. L. Menuge & J. P. Moreland - 2018 - In Jonathan J. Loose, Angus John Louis Menuge & J. P. Moreland (eds.), The Blackwell Companion to Substance Dualism. Oxford, U.K.: Wiley-Blackwell. pp. 1–21.
    Substance dualism is compatible not only with Cartesian dualism but also with a number of nonCartesian alternatives, including several varieties of Thomistic dualism, William Hasker's emergent subject dualism, and the holistic anthropology of E. J. Lowe. Due to recent developments within the philosophy of mind, a renewed interest in historical and contemporary theories of the soul, and a more careful evaluation of what does and does not follow from neuroscience, substance dualism is back on the table for a serious critical (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  31.  21
    Micro-cantilever testing of ⟨a⟩ prismatic slip in commercially pure Ti.Jicheng Gong & Angus J. Wilkinson - 2011 - Philosophical Magazine 91 (7-9):1137-1149.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  32.  75
    For Your Interest? The Ethical Acceptability of Using Non‐Invasive Prenatal Testing to Test ‘Purely for Information’.Zuzana Deans, Angus J. Clarke & Ainsley J. Newson - 2014 - Bioethics 29 (1):19-25.
    Non-invasive prenatal testing is an emerging form of prenatal genetic testing that provides information about the genetic constitution of a foetus without the risk of pregnancy loss as a direct result of the test procedure. As with other prenatal tests, information from NIPT can help to make a decision about termination of pregnancy, plan contingencies for birth or prepare parents to raise a child with a genetic condition. NIPT can also be used by women and couples to test purely ‘for (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  33.  36
    The Type Theoretic Interpretation of Constructive Set Theory.Peter Aczel, Angus Macintyre, Leszek Pacholski & Jeff Paris - 1984 - Journal of Symbolic Logic 49 (1):313-314.
    Direct download  
     
    Export citation  
     
    Bookmark   79 citations  
  34. The Bulletin ok Symbolic Logic Volume 6. Number I. March 2000.Angus Macintyre Dunn & Johan van Benthem - 2000 - Bulletin of Symbolic Logic 6:138.
  35.  44
    On definable subsets of p-adic fields.Angus MacIntyre - 1976 - Journal of Symbolic Logic 41 (3):605-610.
  36.  10
    Fatigue Influences the Recruitment, but Not Structure, of Muscle Synergies.Pablo A. Ortega-Auriol, Thor F. Besier, Winston D. Byblow & Angus J. C. McMorland - 2018 - Frontiers in Human Neuroscience 12.
  37.  34
    Generic automorphisms of fields.Angus Macintyre - 1997 - Annals of Pure and Applied Logic 88 (2):165-180.
    It is shown that the theory of fields with an automorphism has a decidable model companion. Quantifier-elimination is established in a natural language. The theory is intimately connected to Ax's theory of pseudofinite fields, and analogues are obtained for most of Ax's classical results. Some indication is given of the connection to nonstandard Frobenius maps.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  38.  17
    Primes and their residue rings in models of open induction.Angus Macintyre & David Marker - 1989 - Annals of Pure and Applied Logic 43 (1):57-77.
  39.  56
    Omitting quantifier-free types in generic structures.Angus Macintyre - 1972 - Journal of Symbolic Logic 37 (3):512-520.
  40.  14
    Transmission electron microscopy of deformed Ti–6Al–4 V micro-cantilevers.Rengen Ding, Jicheng Gong, Angus J. Wilkinson & Ian P. Jones - 2012 - Philosophical Magazine 92 (25-27):3290-3314.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  95
    Model theory: Geometrical and set-theoretic aspects and prospects.Angus Macintyre - 2003 - Bulletin of Symbolic Logic 9 (2):197-212.
    I see model theory as becoming increasingly detached from set theory, and the Tarskian notion of set-theoretic model being no longer central to model theory. In much of modern mathematics, the set-theoretic component is of minor interest, and basic notions are geometric or category-theoretic. In algebraic geometry, schemes or algebraic spaces are the basic notions, with the older “sets of points in affine or projective space” no more than restrictive special cases. The basic notions may be given sheaf-theoretically, or functorially. (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  42.  94
    Mental Health Measurement in a Post Covid-19 World: Psychometric Properties and Invariance of the DASS-21 in Athletes and Non-athletes. [REVIEW]Robert S. Vaughan, Elizabeth J. Edwards & Tadhg E. MacIntyre - 2020 - Frontiers in Psychology 11.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  43.  28
    Turing meets Schanuel.Angus Macintyre - 2016 - Annals of Pure and Applied Logic 167 (10):901-938.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  44.  15
    Schanuel's conjecture and free exponential rings.Angus Macintyre - 1991 - Annals of Pure and Applied Logic 51 (3):241-246.
  45.  27
    On the elimination of imaginaries from certain valued fields.Philip Scowcroft & Angus Macintyre - 1993 - Annals of Pure and Applied Logic 61 (3):241-276.
    A nontrivial ring with unit eliminates imaginaries just in case its complete theory has the following property: every definable m-ary equivalence relation E may be defined by a formula f = f, where f is an m-ary definable function. We show that for certain natural expansions of the field of p-adic numbers, elimination of imaginaries fails or is independent of ZPC. Similar results hold for certain fields of formal power series.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  46. The Impact of Godel's Incompleteness Theorems on Mathematics.Angus Macintyre - 2011 - In Matthias Baaz (ed.), Kurt Gödel and the foundations of mathematics: horizons of truth. New York: Cambridge University Press. pp. 3--25.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  47.  22
    Kierkegaard After MacIntyre: Essays on Freedom, Narrative, and Virtue.John J. Davenport, Anthony Rudd, Alasdair C. Macintyre & Philip L. Quinn - 2001 - Open Court Publishing.
    The 1990s saw a revival of interest in Kierkegaard's thought, affecting the fields of theology, social theory, and literary and cultural criticism. The resulting discussions have done much to discredit the earlier misreadings of Kierkegaard's works.
    Direct download  
     
    Export citation  
     
    Bookmark   18 citations  
  48.  29
    Logarithmic-exponential series.Lou van den Dries, Angus Macintyre & David Marker - 2001 - Annals of Pure and Applied Logic 111 (1-2):61-113.
    We extend the field of Laurent series over the reals in a canonical way to an ordered differential field of “logarithmic-exponential series” , which is equipped with a well behaved exponentiation. We show that the LE-series with derivative 0 are exactly the real constants, and we invert operators to show that each LE-series has a formal integral. We give evidence for the conjecture that the field of LE-series is a universal domain for ordered differential algebra in Hardy fields. We define (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  49.  19
    Rationality of p-adic poincaré series: uniformity in p.Angus Macintyre - 1990 - Annals of Pure and Applied Logic 49 (1):31-74.
  50.  22
    The word problem for division rings.Angus Macintyre - 1973 - Journal of Symbolic Logic 38 (3):428-436.
1 — 50 / 1000